Mendefinisikan Masalah Nilai Batas
Masalah nilai batas orde kedua standar melibatkan persamaan diferensial yang didefinisikan pada selang $[a, b]$, di mana keadaan sistem ditetapkan pada kedua ujung. Ini secara matematis dinyatakan sebagai:
$y^{\prime \prime}=f(x, y, y^{\prime}), \quad \text { untuk } a \leq x \leq b$
dengan kondisi batas Dirichlet:
$y(a)=\alpha \quad \text { dan } \quad y(b)=\beta$
Berbeda dengan IVP, yang membutuhkan $y(a)$ dan $y'(a)$ pada satu titik, BVP menentukan $y$ di $a$ dan $b$. Kita tidak lagi mengetahui "gradien awal" $y'(a)$; sebaliknya, kita harus menentukan lintasan yang "menghubungkan titik-titik" sambil memenuhi persamaan pengendali di seluruh bagian dalam.
Kehadiran dan Keunikan (Teorema 11.1)
Sementara teorema Picard–Lindelöf memberikan keunikan lokal untuk IVP, BVP dikendalikan oleh perilaku global. Bahkan ODE linear sederhana dapat memiliki solusi tidak ada, satu solusi unik, atau tak hingga banyak solusi tergantung pada panjang domain $(b-a)$. Solusi unik dijamin jika:
- $f, f_y, \text{ dan } f_{y'}$ kontinu pada domain.
- $f_y > 0$ (Ini berperan seperti gaya pemulih yang memastikan solusi tidak melenceng ke tak hingga).
- $|f_{y'}|$ dibatasi oleh konstanta $M$.
Aplikasi Dunia Nyata: Lenturan Struktural
Pertimbangkan balok struktural dengan panjang $l$ yang mengalami beban seragam $q$ dan gaya tarik horisontal $S$. Lenturan $w(x)$ dikendalikan oleh:
$\frac{d^2 w}{d x^2}(x)=\frac{S}{E I} w(x)+\frac{q x}{2 E I}(x-l)$
Dengan kondisi batas $w(0)=0$ dan $w(l)=0$. Di sini, ujung-ujung balok diikat, dan kita harus mencari kurva $w(x)$ yang menggambarkan bentuk fisik balok di bawah tegangan.